\(\int \frac {x^3 \cosh (c+d x)}{(a+b x^2)^2} \, dx\) [66]

   Optimal result
   Rubi [A] (verified)
   Mathematica [C] (verified)
   Maple [B] (verified)
   Fricas [B] (verification not implemented)
   Sympy [F]
   Maxima [F]
   Giac [F]
   Mupad [F(-1)]

Optimal result

Integrand size = 19, antiderivative size = 431 \[ \int \frac {x^3 \cosh (c+d x)}{\left (a+b x^2\right )^2} \, dx=\frac {\cosh (c+d x)}{2 b^2}-\frac {x^2 \cosh (c+d x)}{2 b \left (a+b x^2\right )}+\frac {\cosh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{2 b^2}+\frac {\cosh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{2 b^2}-\frac {\sqrt {-a} d \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right ) \sinh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{4 b^{5/2}}+\frac {\sqrt {-a} d \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right ) \sinh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{4 b^{5/2}}-\frac {\sqrt {-a} d \cosh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{4 b^{5/2}}-\frac {\sinh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{2 b^2}-\frac {\sqrt {-a} d \cosh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{4 b^{5/2}}+\frac {\sinh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{2 b^2} \]

[Out]

1/2*cosh(d*x+c)/b^2-1/2*x^2*cosh(d*x+c)/b/(b*x^2+a)+1/2*Chi(d*x+d*(-a)^(1/2)/b^(1/2))*cosh(c-d*(-a)^(1/2)/b^(1
/2))/b^2+1/2*Chi(-d*x+d*(-a)^(1/2)/b^(1/2))*cosh(c+d*(-a)^(1/2)/b^(1/2))/b^2+1/2*Shi(d*x+d*(-a)^(1/2)/b^(1/2))
*sinh(c-d*(-a)^(1/2)/b^(1/2))/b^2+1/2*Shi(d*x-d*(-a)^(1/2)/b^(1/2))*sinh(c+d*(-a)^(1/2)/b^(1/2))/b^2+1/4*d*cos
h(c+d*(-a)^(1/2)/b^(1/2))*Shi(d*x-d*(-a)^(1/2)/b^(1/2))*(-a)^(1/2)/b^(5/2)-1/4*d*cosh(c-d*(-a)^(1/2)/b^(1/2))*
Shi(d*x+d*(-a)^(1/2)/b^(1/2))*(-a)^(1/2)/b^(5/2)-1/4*d*Chi(d*x+d*(-a)^(1/2)/b^(1/2))*sinh(c-d*(-a)^(1/2)/b^(1/
2))*(-a)^(1/2)/b^(5/2)+1/4*d*Chi(-d*x+d*(-a)^(1/2)/b^(1/2))*sinh(c+d*(-a)^(1/2)/b^(1/2))*(-a)^(1/2)/b^(5/2)

Rubi [A] (verified)

Time = 0.51 (sec) , antiderivative size = 431, normalized size of antiderivative = 1.00, number of steps used = 20, number of rules used = 8, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.421, Rules used = {5399, 5401, 3384, 3379, 3382, 5400, 2718, 5388} \[ \int \frac {x^3 \cosh (c+d x)}{\left (a+b x^2\right )^2} \, dx=-\frac {\sqrt {-a} d \sinh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Chi}\left (x d+\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{4 b^{5/2}}+\frac {\sqrt {-a} d \sinh \left (\frac {\sqrt {-a} d}{\sqrt {b}}+c\right ) \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{4 b^{5/2}}-\frac {\sqrt {-a} d \cosh \left (\frac {\sqrt {-a} d}{\sqrt {b}}+c\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{4 b^{5/2}}-\frac {\sqrt {-a} d \cosh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (x d+\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{4 b^{5/2}}+\frac {\cosh \left (\frac {\sqrt {-a} d}{\sqrt {b}}+c\right ) \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{2 b^2}+\frac {\cosh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Chi}\left (x d+\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{2 b^2}-\frac {\sinh \left (\frac {\sqrt {-a} d}{\sqrt {b}}+c\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{2 b^2}+\frac {\sinh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (x d+\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{2 b^2}-\frac {x^2 \cosh (c+d x)}{2 b \left (a+b x^2\right )}+\frac {\cosh (c+d x)}{2 b^2} \]

[In]

Int[(x^3*Cosh[c + d*x])/(a + b*x^2)^2,x]

[Out]

Cosh[c + d*x]/(2*b^2) - (x^2*Cosh[c + d*x])/(2*b*(a + b*x^2)) + (Cosh[c + (Sqrt[-a]*d)/Sqrt[b]]*CoshIntegral[(
Sqrt[-a]*d)/Sqrt[b] - d*x])/(2*b^2) + (Cosh[c - (Sqrt[-a]*d)/Sqrt[b]]*CoshIntegral[(Sqrt[-a]*d)/Sqrt[b] + d*x]
)/(2*b^2) - (Sqrt[-a]*d*CoshIntegral[(Sqrt[-a]*d)/Sqrt[b] + d*x]*Sinh[c - (Sqrt[-a]*d)/Sqrt[b]])/(4*b^(5/2)) +
 (Sqrt[-a]*d*CoshIntegral[(Sqrt[-a]*d)/Sqrt[b] - d*x]*Sinh[c + (Sqrt[-a]*d)/Sqrt[b]])/(4*b^(5/2)) - (Sqrt[-a]*
d*Cosh[c + (Sqrt[-a]*d)/Sqrt[b]]*SinhIntegral[(Sqrt[-a]*d)/Sqrt[b] - d*x])/(4*b^(5/2)) - (Sinh[c + (Sqrt[-a]*d
)/Sqrt[b]]*SinhIntegral[(Sqrt[-a]*d)/Sqrt[b] - d*x])/(2*b^2) - (Sqrt[-a]*d*Cosh[c - (Sqrt[-a]*d)/Sqrt[b]]*Sinh
Integral[(Sqrt[-a]*d)/Sqrt[b] + d*x])/(4*b^(5/2)) + (Sinh[c - (Sqrt[-a]*d)/Sqrt[b]]*SinhIntegral[(Sqrt[-a]*d)/
Sqrt[b] + d*x])/(2*b^2)

Rule 2718

Int[sin[(c_.) + (d_.)*(x_)], x_Symbol] :> Simp[-Cos[c + d*x]/d, x] /; FreeQ[{c, d}, x]

Rule 3379

Int[sin[(e_.) + (Complex[0, fz_])*(f_.)*(x_)]/((c_.) + (d_.)*(x_)), x_Symbol] :> Simp[I*(SinhIntegral[c*f*(fz/
d) + f*fz*x]/d), x] /; FreeQ[{c, d, e, f, fz}, x] && EqQ[d*e - c*f*fz*I, 0]

Rule 3382

Int[sin[(e_.) + (Complex[0, fz_])*(f_.)*(x_)]/((c_.) + (d_.)*(x_)), x_Symbol] :> Simp[CoshIntegral[c*f*(fz/d)
+ f*fz*x]/d, x] /; FreeQ[{c, d, e, f, fz}, x] && EqQ[d*(e - Pi/2) - c*f*fz*I, 0]

Rule 3384

Int[sin[(e_.) + (f_.)*(x_)]/((c_.) + (d_.)*(x_)), x_Symbol] :> Dist[Cos[(d*e - c*f)/d], Int[Sin[c*(f/d) + f*x]
/(c + d*x), x], x] + Dist[Sin[(d*e - c*f)/d], Int[Cos[c*(f/d) + f*x]/(c + d*x), x], x] /; FreeQ[{c, d, e, f},
x] && NeQ[d*e - c*f, 0]

Rule 5388

Int[((a_) + (b_.)*(x_)^(n_))^(p_)*Sinh[(c_.) + (d_.)*(x_)], x_Symbol] :> Int[ExpandIntegrand[Sinh[c + d*x], (a
 + b*x^n)^p, x], x] /; FreeQ[{a, b, c, d}, x] && ILtQ[p, 0] && IGtQ[n, 0] && (EqQ[n, 2] || EqQ[p, -1])

Rule 5399

Int[Cosh[(c_.) + (d_.)*(x_)]*(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> Simp[x^(m - n + 1)*(a + b*
x^n)^(p + 1)*(Cosh[c + d*x]/(b*n*(p + 1))), x] + (-Dist[(m - n + 1)/(b*n*(p + 1)), Int[x^(m - n)*(a + b*x^n)^(
p + 1)*Cosh[c + d*x], x], x] - Dist[d/(b*n*(p + 1)), Int[x^(m - n + 1)*(a + b*x^n)^(p + 1)*Sinh[c + d*x], x],
x]) /; FreeQ[{a, b, c, d}, x] && ILtQ[p, -1] && IGtQ[n, 0] && RationalQ[m] && (GtQ[m - n + 1, 0] || GtQ[n, 2])

Rule 5400

Int[(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_)*Sinh[(c_.) + (d_.)*(x_)], x_Symbol] :> Int[ExpandIntegrand[Sinh[c
 + d*x], x^m*(a + b*x^n)^p, x], x] /; FreeQ[{a, b, c, d}, x] && ILtQ[p, 0] && IntegerQ[m] && IGtQ[n, 0] && (Eq
Q[n, 2] || EqQ[p, -1])

Rule 5401

Int[Cosh[(c_.) + (d_.)*(x_)]*(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> Int[ExpandIntegrand[Cosh[c
 + d*x], x^m*(a + b*x^n)^p, x], x] /; FreeQ[{a, b, c, d}, x] && ILtQ[p, 0] && IntegerQ[m] && IGtQ[n, 0] && (Eq
Q[n, 2] || EqQ[p, -1])

Rubi steps \begin{align*} \text {integral}& = -\frac {x^2 \cosh (c+d x)}{2 b \left (a+b x^2\right )}+\frac {\int \frac {x \cosh (c+d x)}{a+b x^2} \, dx}{b}+\frac {d \int \frac {x^2 \sinh (c+d x)}{a+b x^2} \, dx}{2 b} \\ & = -\frac {x^2 \cosh (c+d x)}{2 b \left (a+b x^2\right )}+\frac {\int \left (-\frac {\cosh (c+d x)}{2 \sqrt {b} \left (\sqrt {-a}-\sqrt {b} x\right )}+\frac {\cosh (c+d x)}{2 \sqrt {b} \left (\sqrt {-a}+\sqrt {b} x\right )}\right ) \, dx}{b}+\frac {d \int \left (\frac {\sinh (c+d x)}{b}-\frac {a \sinh (c+d x)}{b \left (a+b x^2\right )}\right ) \, dx}{2 b} \\ & = -\frac {x^2 \cosh (c+d x)}{2 b \left (a+b x^2\right )}-\frac {\int \frac {\cosh (c+d x)}{\sqrt {-a}-\sqrt {b} x} \, dx}{2 b^{3/2}}+\frac {\int \frac {\cosh (c+d x)}{\sqrt {-a}+\sqrt {b} x} \, dx}{2 b^{3/2}}+\frac {d \int \sinh (c+d x) \, dx}{2 b^2}-\frac {(a d) \int \frac {\sinh (c+d x)}{a+b x^2} \, dx}{2 b^2} \\ & = \frac {\cosh (c+d x)}{2 b^2}-\frac {x^2 \cosh (c+d x)}{2 b \left (a+b x^2\right )}-\frac {(a d) \int \left (\frac {\sqrt {-a} \sinh (c+d x)}{2 a \left (\sqrt {-a}-\sqrt {b} x\right )}+\frac {\sqrt {-a} \sinh (c+d x)}{2 a \left (\sqrt {-a}+\sqrt {b} x\right )}\right ) \, dx}{2 b^2}+\frac {\cosh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \int \frac {\cosh \left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{\sqrt {-a}+\sqrt {b} x} \, dx}{2 b^{3/2}}-\frac {\cosh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \int \frac {\cosh \left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{\sqrt {-a}-\sqrt {b} x} \, dx}{2 b^{3/2}}+\frac {\sinh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \int \frac {\sinh \left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{\sqrt {-a}+\sqrt {b} x} \, dx}{2 b^{3/2}}+\frac {\sinh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \int \frac {\sinh \left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{\sqrt {-a}-\sqrt {b} x} \, dx}{2 b^{3/2}} \\ & = \frac {\cosh (c+d x)}{2 b^2}-\frac {x^2 \cosh (c+d x)}{2 b \left (a+b x^2\right )}+\frac {\cosh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{2 b^2}+\frac {\cosh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{2 b^2}-\frac {\sinh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{2 b^2}+\frac {\sinh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{2 b^2}-\frac {\left (\sqrt {-a} d\right ) \int \frac {\sinh (c+d x)}{\sqrt {-a}-\sqrt {b} x} \, dx}{4 b^2}-\frac {\left (\sqrt {-a} d\right ) \int \frac {\sinh (c+d x)}{\sqrt {-a}+\sqrt {b} x} \, dx}{4 b^2} \\ & = \frac {\cosh (c+d x)}{2 b^2}-\frac {x^2 \cosh (c+d x)}{2 b \left (a+b x^2\right )}+\frac {\cosh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{2 b^2}+\frac {\cosh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{2 b^2}-\frac {\sinh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{2 b^2}+\frac {\sinh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{2 b^2}-\frac {\left (\sqrt {-a} d \cosh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right )\right ) \int \frac {\sinh \left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{\sqrt {-a}+\sqrt {b} x} \, dx}{4 b^2}+\frac {\left (\sqrt {-a} d \cosh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right )\right ) \int \frac {\sinh \left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{\sqrt {-a}-\sqrt {b} x} \, dx}{4 b^2}-\frac {\left (\sqrt {-a} d \sinh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right )\right ) \int \frac {\cosh \left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{\sqrt {-a}+\sqrt {b} x} \, dx}{4 b^2}-\frac {\left (\sqrt {-a} d \sinh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right )\right ) \int \frac {\cosh \left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{\sqrt {-a}-\sqrt {b} x} \, dx}{4 b^2} \\ & = \frac {\cosh (c+d x)}{2 b^2}-\frac {x^2 \cosh (c+d x)}{2 b \left (a+b x^2\right )}+\frac {\cosh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{2 b^2}+\frac {\cosh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{2 b^2}-\frac {\sqrt {-a} d \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right ) \sinh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{4 b^{5/2}}+\frac {\sqrt {-a} d \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right ) \sinh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{4 b^{5/2}}-\frac {\sqrt {-a} d \cosh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{4 b^{5/2}}-\frac {\sinh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{2 b^2}-\frac {\sqrt {-a} d \cosh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{4 b^{5/2}}+\frac {\sinh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{2 b^2} \\ \end{align*}

Mathematica [C] (verified)

Result contains complex when optimal does not.

Time = 1.46 (sec) , antiderivative size = 290, normalized size of antiderivative = 0.67 \[ \int \frac {x^3 \cosh (c+d x)}{\left (a+b x^2\right )^2} \, dx=\frac {\frac {4 a \sqrt {b} \cosh (c) \cosh (d x)}{a+b x^2}+e^{c-\frac {i \sqrt {a} d}{\sqrt {b}}} \left (\left (2 \sqrt {b}+i \sqrt {a} d\right ) e^{\frac {2 i \sqrt {a} d}{\sqrt {b}}} \operatorname {ExpIntegralEi}\left (d \left (-\frac {i \sqrt {a}}{\sqrt {b}}+x\right )\right )+\left (2 \sqrt {b}-i \sqrt {a} d\right ) \operatorname {ExpIntegralEi}\left (d \left (\frac {i \sqrt {a}}{\sqrt {b}}+x\right )\right )\right )+e^{-c-\frac {i \sqrt {a} d}{\sqrt {b}}} \left (\left (2 \sqrt {b}+i \sqrt {a} d\right ) e^{\frac {2 i \sqrt {a} d}{\sqrt {b}}} \operatorname {ExpIntegralEi}\left (-\frac {i \sqrt {a} d}{\sqrt {b}}-d x\right )+\left (2 \sqrt {b}-i \sqrt {a} d\right ) \operatorname {ExpIntegralEi}\left (\frac {i \sqrt {a} d}{\sqrt {b}}-d x\right )\right )+\frac {4 a \sqrt {b} \sinh (c) \sinh (d x)}{a+b x^2}}{8 b^{5/2}} \]

[In]

Integrate[(x^3*Cosh[c + d*x])/(a + b*x^2)^2,x]

[Out]

((4*a*Sqrt[b]*Cosh[c]*Cosh[d*x])/(a + b*x^2) + E^(c - (I*Sqrt[a]*d)/Sqrt[b])*((2*Sqrt[b] + I*Sqrt[a]*d)*E^(((2
*I)*Sqrt[a]*d)/Sqrt[b])*ExpIntegralEi[d*(((-I)*Sqrt[a])/Sqrt[b] + x)] + (2*Sqrt[b] - I*Sqrt[a]*d)*ExpIntegralE
i[d*((I*Sqrt[a])/Sqrt[b] + x)]) + E^(-c - (I*Sqrt[a]*d)/Sqrt[b])*((2*Sqrt[b] + I*Sqrt[a]*d)*E^(((2*I)*Sqrt[a]*
d)/Sqrt[b])*ExpIntegralEi[((-I)*Sqrt[a]*d)/Sqrt[b] - d*x] + (2*Sqrt[b] - I*Sqrt[a]*d)*ExpIntegralEi[(I*Sqrt[a]
*d)/Sqrt[b] - d*x]) + (4*a*Sqrt[b]*Sinh[c]*Sinh[d*x])/(a + b*x^2))/(8*b^(5/2))

Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(902\) vs. \(2(331)=662\).

Time = 0.30 (sec) , antiderivative size = 903, normalized size of antiderivative = 2.10

method result size
risch \(-\frac {-{\mathrm e}^{\frac {d \sqrt {-a b}+c b}{b}} \operatorname {Ei}_{1}\left (\frac {d \sqrt {-a b}-\left (d x +c \right ) b +c b}{b}\right ) a b d \,x^{2}+{\mathrm e}^{\frac {-d \sqrt {-a b}+c b}{b}} \operatorname {Ei}_{1}\left (-\frac {d \sqrt {-a b}+\left (d x +c \right ) b -c b}{b}\right ) a b d \,x^{2}+{\mathrm e}^{-\frac {d \sqrt {-a b}+c b}{b}} \operatorname {Ei}_{1}\left (-\frac {d \sqrt {-a b}-\left (d x +c \right ) b +c b}{b}\right ) a b d \,x^{2}-{\mathrm e}^{-\frac {-d \sqrt {-a b}+c b}{b}} \operatorname {Ei}_{1}\left (\frac {d \sqrt {-a b}+\left (d x +c \right ) b -c b}{b}\right ) a b d \,x^{2}+2 \,{\mathrm e}^{\frac {d \sqrt {-a b}+c b}{b}} \operatorname {Ei}_{1}\left (\frac {d \sqrt {-a b}-\left (d x +c \right ) b +c b}{b}\right ) \sqrt {-a b}\, b \,x^{2}+2 \,{\mathrm e}^{\frac {-d \sqrt {-a b}+c b}{b}} \operatorname {Ei}_{1}\left (-\frac {d \sqrt {-a b}+\left (d x +c \right ) b -c b}{b}\right ) \sqrt {-a b}\, b \,x^{2}+2 \,{\mathrm e}^{-\frac {d \sqrt {-a b}+c b}{b}} \operatorname {Ei}_{1}\left (-\frac {d \sqrt {-a b}-\left (d x +c \right ) b +c b}{b}\right ) \sqrt {-a b}\, b \,x^{2}+2 \sqrt {-a b}\, {\mathrm e}^{-\frac {-d \sqrt {-a b}+c b}{b}} \operatorname {Ei}_{1}\left (\frac {d \sqrt {-a b}+\left (d x +c \right ) b -c b}{b}\right ) b \,x^{2}-{\mathrm e}^{\frac {d \sqrt {-a b}+c b}{b}} \operatorname {Ei}_{1}\left (\frac {d \sqrt {-a b}-\left (d x +c \right ) b +c b}{b}\right ) a^{2} d +{\mathrm e}^{\frac {-d \sqrt {-a b}+c b}{b}} \operatorname {Ei}_{1}\left (-\frac {d \sqrt {-a b}+\left (d x +c \right ) b -c b}{b}\right ) a^{2} d +{\mathrm e}^{-\frac {d \sqrt {-a b}+c b}{b}} \operatorname {Ei}_{1}\left (-\frac {d \sqrt {-a b}-\left (d x +c \right ) b +c b}{b}\right ) a^{2} d -{\mathrm e}^{-\frac {-d \sqrt {-a b}+c b}{b}} \operatorname {Ei}_{1}\left (\frac {d \sqrt {-a b}+\left (d x +c \right ) b -c b}{b}\right ) a^{2} d +2 \,{\mathrm e}^{\frac {d \sqrt {-a b}+c b}{b}} \operatorname {Ei}_{1}\left (\frac {d \sqrt {-a b}-\left (d x +c \right ) b +c b}{b}\right ) \sqrt {-a b}\, a +2 \,{\mathrm e}^{\frac {-d \sqrt {-a b}+c b}{b}} \operatorname {Ei}_{1}\left (-\frac {d \sqrt {-a b}+\left (d x +c \right ) b -c b}{b}\right ) \sqrt {-a b}\, a +2 \,{\mathrm e}^{-\frac {d \sqrt {-a b}+c b}{b}} \operatorname {Ei}_{1}\left (-\frac {d \sqrt {-a b}-\left (d x +c \right ) b +c b}{b}\right ) \sqrt {-a b}\, a +2 \sqrt {-a b}\, {\mathrm e}^{-\frac {-d \sqrt {-a b}+c b}{b}} \operatorname {Ei}_{1}\left (\frac {d \sqrt {-a b}+\left (d x +c \right ) b -c b}{b}\right ) a -2 a \sqrt {-a b}\, {\mathrm e}^{-d x -c}-2 a \sqrt {-a b}\, {\mathrm e}^{d x +c}}{8 b^{2} \left (b \,x^{2}+a \right ) \sqrt {-a b}}\) \(903\)

[In]

int(x^3*cosh(d*x+c)/(b*x^2+a)^2,x,method=_RETURNVERBOSE)

[Out]

-1/8*(-exp((d*(-a*b)^(1/2)+c*b)/b)*Ei(1,(d*(-a*b)^(1/2)-(d*x+c)*b+c*b)/b)*a*b*d*x^2+exp((-d*(-a*b)^(1/2)+c*b)/
b)*Ei(1,-(d*(-a*b)^(1/2)+(d*x+c)*b-c*b)/b)*a*b*d*x^2+exp(-(d*(-a*b)^(1/2)+c*b)/b)*Ei(1,-(d*(-a*b)^(1/2)-(d*x+c
)*b+c*b)/b)*a*b*d*x^2-exp(-(-d*(-a*b)^(1/2)+c*b)/b)*Ei(1,(d*(-a*b)^(1/2)+(d*x+c)*b-c*b)/b)*a*b*d*x^2+2*exp((d*
(-a*b)^(1/2)+c*b)/b)*Ei(1,(d*(-a*b)^(1/2)-(d*x+c)*b+c*b)/b)*(-a*b)^(1/2)*b*x^2+2*exp((-d*(-a*b)^(1/2)+c*b)/b)*
Ei(1,-(d*(-a*b)^(1/2)+(d*x+c)*b-c*b)/b)*(-a*b)^(1/2)*b*x^2+2*exp(-(d*(-a*b)^(1/2)+c*b)/b)*Ei(1,-(d*(-a*b)^(1/2
)-(d*x+c)*b+c*b)/b)*(-a*b)^(1/2)*b*x^2+2*(-a*b)^(1/2)*exp(-(-d*(-a*b)^(1/2)+c*b)/b)*Ei(1,(d*(-a*b)^(1/2)+(d*x+
c)*b-c*b)/b)*b*x^2-exp((d*(-a*b)^(1/2)+c*b)/b)*Ei(1,(d*(-a*b)^(1/2)-(d*x+c)*b+c*b)/b)*a^2*d+exp((-d*(-a*b)^(1/
2)+c*b)/b)*Ei(1,-(d*(-a*b)^(1/2)+(d*x+c)*b-c*b)/b)*a^2*d+exp(-(d*(-a*b)^(1/2)+c*b)/b)*Ei(1,-(d*(-a*b)^(1/2)-(d
*x+c)*b+c*b)/b)*a^2*d-exp(-(-d*(-a*b)^(1/2)+c*b)/b)*Ei(1,(d*(-a*b)^(1/2)+(d*x+c)*b-c*b)/b)*a^2*d+2*exp((d*(-a*
b)^(1/2)+c*b)/b)*Ei(1,(d*(-a*b)^(1/2)-(d*x+c)*b+c*b)/b)*(-a*b)^(1/2)*a+2*exp((-d*(-a*b)^(1/2)+c*b)/b)*Ei(1,-(d
*(-a*b)^(1/2)+(d*x+c)*b-c*b)/b)*(-a*b)^(1/2)*a+2*exp(-(d*(-a*b)^(1/2)+c*b)/b)*Ei(1,-(d*(-a*b)^(1/2)-(d*x+c)*b+
c*b)/b)*(-a*b)^(1/2)*a+2*(-a*b)^(1/2)*exp(-(-d*(-a*b)^(1/2)+c*b)/b)*Ei(1,(d*(-a*b)^(1/2)+(d*x+c)*b-c*b)/b)*a-2
*a*(-a*b)^(1/2)*exp(-d*x-c)-2*a*(-a*b)^(1/2)*exp(d*x+c))/b^2/(b*x^2+a)/(-a*b)^(1/2)

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 931 vs. \(2 (331) = 662\).

Time = 0.28 (sec) , antiderivative size = 931, normalized size of antiderivative = 2.16 \[ \int \frac {x^3 \cosh (c+d x)}{\left (a+b x^2\right )^2} \, dx=\text {Too large to display} \]

[In]

integrate(x^3*cosh(d*x+c)/(b*x^2+a)^2,x, algorithm="fricas")

[Out]

1/8*(4*a*cosh(d*x + c) + ((2*(b*x^2 + a)*cosh(d*x + c)^2 - 2*(b*x^2 + a)*sinh(d*x + c)^2 + ((b*x^2 + a)*cosh(d
*x + c)^2 - (b*x^2 + a)*sinh(d*x + c)^2)*sqrt(-a*d^2/b))*Ei(d*x - sqrt(-a*d^2/b)) + (2*(b*x^2 + a)*cosh(d*x +
c)^2 - 2*(b*x^2 + a)*sinh(d*x + c)^2 - ((b*x^2 + a)*cosh(d*x + c)^2 - (b*x^2 + a)*sinh(d*x + c)^2)*sqrt(-a*d^2
/b))*Ei(-d*x + sqrt(-a*d^2/b)))*cosh(c + sqrt(-a*d^2/b)) + ((2*(b*x^2 + a)*cosh(d*x + c)^2 - 2*(b*x^2 + a)*sin
h(d*x + c)^2 - ((b*x^2 + a)*cosh(d*x + c)^2 - (b*x^2 + a)*sinh(d*x + c)^2)*sqrt(-a*d^2/b))*Ei(d*x + sqrt(-a*d^
2/b)) + (2*(b*x^2 + a)*cosh(d*x + c)^2 - 2*(b*x^2 + a)*sinh(d*x + c)^2 + ((b*x^2 + a)*cosh(d*x + c)^2 - (b*x^2
 + a)*sinh(d*x + c)^2)*sqrt(-a*d^2/b))*Ei(-d*x - sqrt(-a*d^2/b)))*cosh(-c + sqrt(-a*d^2/b)) + ((2*(b*x^2 + a)*
cosh(d*x + c)^2 - 2*(b*x^2 + a)*sinh(d*x + c)^2 + ((b*x^2 + a)*cosh(d*x + c)^2 - (b*x^2 + a)*sinh(d*x + c)^2)*
sqrt(-a*d^2/b))*Ei(d*x - sqrt(-a*d^2/b)) - (2*(b*x^2 + a)*cosh(d*x + c)^2 - 2*(b*x^2 + a)*sinh(d*x + c)^2 - ((
b*x^2 + a)*cosh(d*x + c)^2 - (b*x^2 + a)*sinh(d*x + c)^2)*sqrt(-a*d^2/b))*Ei(-d*x + sqrt(-a*d^2/b)))*sinh(c +
sqrt(-a*d^2/b)) - ((2*(b*x^2 + a)*cosh(d*x + c)^2 - 2*(b*x^2 + a)*sinh(d*x + c)^2 - ((b*x^2 + a)*cosh(d*x + c)
^2 - (b*x^2 + a)*sinh(d*x + c)^2)*sqrt(-a*d^2/b))*Ei(d*x + sqrt(-a*d^2/b)) - (2*(b*x^2 + a)*cosh(d*x + c)^2 -
2*(b*x^2 + a)*sinh(d*x + c)^2 + ((b*x^2 + a)*cosh(d*x + c)^2 - (b*x^2 + a)*sinh(d*x + c)^2)*sqrt(-a*d^2/b))*Ei
(-d*x - sqrt(-a*d^2/b)))*sinh(-c + sqrt(-a*d^2/b)))/((b^3*x^2 + a*b^2)*cosh(d*x + c)^2 - (b^3*x^2 + a*b^2)*sin
h(d*x + c)^2)

Sympy [F]

\[ \int \frac {x^3 \cosh (c+d x)}{\left (a+b x^2\right )^2} \, dx=\int \frac {x^{3} \cosh {\left (c + d x \right )}}{\left (a + b x^{2}\right )^{2}}\, dx \]

[In]

integrate(x**3*cosh(d*x+c)/(b*x**2+a)**2,x)

[Out]

Integral(x**3*cosh(c + d*x)/(a + b*x**2)**2, x)

Maxima [F]

\[ \int \frac {x^3 \cosh (c+d x)}{\left (a+b x^2\right )^2} \, dx=\int { \frac {x^{3} \cosh \left (d x + c\right )}{{\left (b x^{2} + a\right )}^{2}} \,d x } \]

[In]

integrate(x^3*cosh(d*x+c)/(b*x^2+a)^2,x, algorithm="maxima")

[Out]

1/2*((d^2*x^3*e^(2*c) + d*x^2*e^(2*c) + 2*x*e^(2*c))*e^(d*x) - (d^2*x^3 - d*x^2 + 2*x)*e^(-d*x))/(b^2*d^3*x^4*
e^c + 2*a*b*d^3*x^2*e^c + a^2*d^3*e^c) - 1/2*integrate(2*(2*a*d*x*e^c + (2*a*d^2*e^c - 3*b*e^c)*x^2 + a*e^c)*e
^(d*x)/(b^3*d^3*x^6 + 3*a*b^2*d^3*x^4 + 3*a^2*b*d^3*x^2 + a^3*d^3), x) + 1/2*integrate(-2*(2*a*d*x - (2*a*d^2
- 3*b)*x^2 - a)*e^(-d*x)/(b^3*d^3*x^6*e^c + 3*a*b^2*d^3*x^4*e^c + 3*a^2*b*d^3*x^2*e^c + a^3*d^3*e^c), x)

Giac [F]

\[ \int \frac {x^3 \cosh (c+d x)}{\left (a+b x^2\right )^2} \, dx=\int { \frac {x^{3} \cosh \left (d x + c\right )}{{\left (b x^{2} + a\right )}^{2}} \,d x } \]

[In]

integrate(x^3*cosh(d*x+c)/(b*x^2+a)^2,x, algorithm="giac")

[Out]

integrate(x^3*cosh(d*x + c)/(b*x^2 + a)^2, x)

Mupad [F(-1)]

Timed out. \[ \int \frac {x^3 \cosh (c+d x)}{\left (a+b x^2\right )^2} \, dx=\int \frac {x^3\,\mathrm {cosh}\left (c+d\,x\right )}{{\left (b\,x^2+a\right )}^2} \,d x \]

[In]

int((x^3*cosh(c + d*x))/(a + b*x^2)^2,x)

[Out]

int((x^3*cosh(c + d*x))/(a + b*x^2)^2, x)